#
# Specifics for pistachio on x86
#

SPECS += x86 pistachio 32bit

#
# Custom linker script
#
LD_SCRIPT    ?= $(call select_from_repositories,src/platform/x86/genode.ld)
CXX_LINK_OPT += -Wl,-T$(LD_SCRIPT)

# x86-specific headers
REP_INC_DIR += include/x86

include $(call select_from_repositories,mk/spec-x86.mk)
include $(call select_from_repositories,mk/spec-pistachio.mk)
include $(call select_from_repositories,mk/spec-32bit.mk)
